Interactive proof system - PDFSEARCH.IO - Document Search Engine

Interactive proof system
Results: 103

#	Item
41	Precise Concurrent Zero Knowledge Omkant Pandey∗ Rafael Pass† Amit Sahai∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-02-01 05:01:22 Cryptographic protocols Zero-knowledge proof IP NP Commitment scheme Randomized algorithm Alice and Bob Interactive proof system Proof of knowledge Theoretical computer science Computational complexity theory Cryptography
42	Concurrent/Resettable Zero-Knowledge With Concurrent Soundness in the Bare Public-Key Model and Its Applications Yunlei Zhao‡ Abstract In this work, we investigate concurrent knowledge-extraction (CKE) and concurrent n Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-03-07 05:44:25 Applied mathematics Proof of knowledge Interactive proof system Zero-knowledge proof IP Non-interactive zero-knowledge proof Commitment scheme Soundness NP Cryptography Cryptographic protocols Theoretical computer science
43	On the Amortized Complexity of Zero-knowledge Protocols Ronald Cramer? , Ivan Damg˚ ard?? , and Marcel Keller? ? ? CWI/Leiden University, Aarhus University, and University of Bristol Abstract. We propose a general tech Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 09:29:46 IP Symbol Zero-knowledge proof Commitment scheme Sheaf Natural deduction Interactive proof system Cryptography Cryptographic protocols Proof of knowledge
44	A Note on Constant-Round Zero-Knowledge Proofs of Knowledge∗ Yehuda Lindell† September 24, 2012 Abstract In this note, we show the existence of constant-round computational zero-knowledge proofs of knowledge for all Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-09-24 15:21:39 Cryptographic protocols Proof of knowledge Interactive proof system Zero-knowledge proof IP Soundness Commitment scheme NP Non-interactive zero-knowledge proof Theoretical computer science Cryptography Applied mathematics
45	Constant-Round Concurrent Zero-knowledge from Indistinguishability Obfuscation Kai-Min Chung∗ Huijia Lin† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-18 08:37:34 Complexity classes Cryptographic protocols Zero-knowledge proof Interactive proof system Soundness NP IP Commitment scheme P/poly Theoretical computer science Computational complexity theory Cryptography
46	CS355: Topics in cryptography Fall 2004 Assignment #2 Due: Wednesday, Dec. 1, 2004. Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2004-11-29 22:01:51 IP XTR NP Paillier cryptosystem Proof of knowledge Interactive proof system Cryptography Cryptographic protocols Zero-knowledge proof
47	From Statistical Zero Knowledge to Secret Sharing Vinod Vaikuntanathan∗ MIT CSAIL Prashant Nalini Vasudevan† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-24 23:55:10 Complexity classes Cryptographic protocols Probabilistic complexity theory Zero-knowledge proof Interactive proof system IP NP Secret sharing Randomized algorithm Theoretical computer science Computational complexity theory Applied mathematics
48	Computational Complexity Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:18 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem P Bounded-error probabilistic polynomial Interactive proof system Theoretical computer science Computational complexity theory Applied mathematics
49	Verifying Computations with Streaming Interactive Proofs Graham Cormode AT&T Labs—Research [removed] Justin Thaler ∗ Add to Reading List Source URL: www.vldb.org Language: English - Date: 2011-09-28 10:12:24 Complexity classes Probabilistic complexity theory Interactive proof system IP NP Probabilistically checkable proof Cryptographic protocols FO Soundness Theoretical computer science Computational complexity theory Applied mathematics
50	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software